In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new (...) research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

The study aimed at measuring the dominant pattern of leadership and its relation to the performance of the administrative staff in the Palestinian universities. The study community consists of all the administrative staff from Al-Azhar University and the Islamic University, and through the census of the study society it was found to consist of (655) administrative staff. In order to achieve the objectives of the study, the researchers used the method of random sample in the study, and the study was (...) conducted on a sample of (221) administrative staff of the surveyed universities and the response rate was (82.35%). The study found that there is a high degree of satisfaction with the Dominant Pattern of Leadership in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, which reached (71.67%). There is a high level of performance from the point of view of administrative staff, with a percentage of (82.53%). There is a direct correlation between the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences between the sample according to the gender variable in their perception of the dominant pattern of leadership and the functional Performance of Administrative Staff, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the age variable. There are differences of statistical significance according to the variable of scientific qualification in the Dominant Pattern of Leadership, while there were no differences in performance, the differences in the dominant pattern of leadership according to the scientific qualification were in favor of those who obtained the diploma degree compared to other practical qualifications, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable years of service, the absence of differences in the perception of employees of the dominant pattern of leadership and the functional Performance of Administrative Staff depending on the variable level of career (Director, Head of Department, and Administrative Officer). There were differences in the perception of workers to the dominant pattern of leadership depending on the variable of the workplace, where there were differences in favor of workers in deanships and colleges compared with the workers in the technical departments. While there were no differences in job performance according to the workplace variable, the existence of differences in the perception of workers to the dominant pattern of leadership depending on the university in which they work in favor of the Islamic University and the absence of differences in performance between the Islamic University and Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the managements of the Palestinian universities in improving the dominant pattern of leadership, to give universities the opportunity to participate in decision-making, the continued administration of universities interest and continuous improvement of the performance of its employees, enhance the periodic evaluation of job performance and to inform employees and express their opinion, solving workers' problems and giving them the opportunity to contribute to solving their own problems, the use of the staff rotation method periodically and strengthening the democratic the dominant pattern of leadership and empowering university staff. -/- . (shrink)

In this paper, I plan to show that the use of a specific population concept—Millstein’s Causal Interactionist Population Concept (CIPC)—has interesting and counter-intuitive ramifications for discussions of the reality of biological race in human beings. These peculiar ramifications apply to human beings writ large and to individuals. While this in and of itself may not be problematic, I plan to show that the ramifications that follow from applying Millstein’s CIPC to human beings complicates specific biological racial realist accounts—naïve or otherwise. (...) I conclude with the notion that even if biological races do exist—by fulfilling all of the criteria needed for Millstein’s population concept (which, given particular worries raised by Gannett (Synthese 177:363–385, 2010), and Winther and Kaplan (Theoria 60:54–80, 2013) may not)—the lower-bound limit for the scope of biological racial realism is at the level of populations, and as such they cannot say anything about whether or not individual organisms themselves have races. (shrink)

Deception is part of the natural repertoire of adaptive behaviours in many organisms. In humans we see it in all domains of human activity including health care. Within health care, deception can be a matter of concern, but it is also used to protect patients, for instance against overwhelming and negative diagnostics. This paper demonstrates that deception and self‐deception are closely interlinked and that self‐deception facilitates deception. Furthermore, self‐deception tends to be used to reduce the discomfort we feel when we (...) are dishonest (cognitive dissonance). The paper includes references to core psychological mechanisms and ethical aspects. (shrink)

This chapter aims to bring to the fore some of the ontological presuppositions that undergird the concepts of race and racism as they are used in public health. Included are discussions of differing accounts for race in public health, the ways in which racism is understood to be a public health issue, and where future research in public health, as it relates to the concepts of race and racism, is headed.

The main concern of this paper is to study the dynamic of a predator–prey system with diffusion. It incorporates the Holling-type-II and a modified Leslie–Gower functional responses under Robin boundary conditions. More concretely, we study the dissipativeness of the system by using the comparison principle, and we derive a criteria for permanence and for predator extinction.

First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.

A new characterization of tabularity in tense logic is established, namely, a tense logic L is tabular if and only if $\mathsf {tab}_n^T\in L$ for some $n\geq 1$. Two characterization theorems for the Post-completeness in tabular tense logics are given. Furthermore, a characterization of the Post-completeness in the lattice of all tense logics is established. Post numbers of some tense logics are shown.

The vast majority of contributions to the literature on spirituality in nursing make extravagant claims about transcendence, eternity, the numinous, higher powers, higher levels of existence, invisible forces, cosmic unity, the essence of humanity, or other supernatural concepts. Typically, these assertions are made without the support of argument or evidence; and, as a consequence, alternative ways of theorizing ‘spirituality’ have been closed off, while the lack of consistent scholarship has turned the topic into a metaphysical backwater. In this paper, I (...) adopt a different premise, rejecting unsupported claims, and surveying the ‘spirituality’ terrain from a naturalistic and reductionist perspective. I argue that, if we rid ourselves of non‐naturalistic assumptions, we will discover theoretical and clinical resources in health psychology, social psychology, neuropsychology, and pharmacopsychology – resources which confirm that it is possible to conceptualize the study of existential concerns, and how health professionals might respond to them, in a properly scientific manner. In order to illustrate the potential usefulness of these resources, I will take palliative care as an example. (shrink)

When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring, or adaptation to the partner takes place in all facets of human language use, and is based on a mental model or a user model of the conversational partner. Such adaptation has been shown to improve listeners' comprehension, their satisfaction with an interactive system, the efficiency with which they execute conversational tasks, and the likelihood of achieving (...) higher level goals such as changing the listener's beliefs and attitudes. We focus on one aspect of adaptation, namely the tailoring of the content of dialogue system utterances for the higher level processes of persuasion, argumentation and advice-giving. Our hypothesis is that algorithms that adapt content for these processes, according to a user model, will improve the usability, efficiency, and effectiveness of dialogue systems. We describe a multimodal dialogue system and algorithms for adaptive content selection based on multi-attribute decision theory. We demonstrate experimentally the improved efficacy of system responses through the use of user models to both tailor the content of system utterances and to manipulate their conciseness. (shrink)

Positive changes or transformations have been the subject of study within spiritual traditions as well as humanistic and transpersonal psychology. The aim of the current study is to understand the process of transformation among Moslems in Indonesia, who follow spiritual practices, to achieve the nafs al-muṭma ínnah [tranquil self]. Ten participants in Yogyakarta province were involved in this study. They were recruited using nafs al-muṭmaʾinnah scale developed by the authors. In-depth interviews of both the participants and their significant others were (...) conducted. To analyse the data, an interpretative phenomenological analysis was employed. Five themes emerged from the data, including deviation from the basis of religious environment, spiritual discipline, transformative experiences, new characters and a continuous process. We conclude that participants experience spiritual-religious transformation and achieve the state of nafs al-muṭma ínnah [tranquil self]. The process of transformation occurs gradually after a sudden experience, and it continuously happens throughout the course of life. Three factors contribute to the transformation, including the role of predisposition, the role of a spiritual guide and the role of spiritual experiences.Contribution: As the study of spiritual-religious transformation is mainly conducted within a Judea-Christian tradition, this study significantly contributes to the literature by providing spiritual-religious transformation from an Islamic-Sufi perspective. (shrink)

This text explores how human beings construe experience: experience as a resource, as a potential for understanding, representing and acting on reality.

Psychological research has shown that cognitive illusions, of which visual illusions are just a special case, are systematic and pervasive, raising epistemological questions about how error in all forms of research can be identified and eliminated. The quantitative sciences make use of statistical techniques for this purpose, but it is not clear what the qualitative equivalent is, particularly in view of widespread scepticism about validity and objectivity. I argue that, in the light of cognitive psychology, the ‘error question’ cannot be (...) dismissed as a positivist obsession, and that the concepts of truth and objectivity are unavoidable. However, they constitute only a ‘minimal realism’, which does not necessarily bring a commitment to ‘absolute’ truth, certainty, correspondence, causation, reductionism, or universal laws in its wake. The assumption that it does reflects a misreading of positivism and, ironically, precipitates a ‘crisis of legitimation and representation’, as described by constructivist authors. (shrink)

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

Two major functions of the visual system are discussed and contrasted. One function of vision is the creation of an internal model or percept of the external world. Most research in object perception has concentrated on this aspect of vision. Vision also guides the control of object-directed action. In the latter case, vision directs our actions with respect to the world by transforming visual inputs into appropriate motor outputs. We argue that separate, but interactive, visual systems have evolved for the (...) perception of objects on the one hand and the control of actions directed at those objects on the other. This 'duplex' approach to high-level vision suggests that Marrian or 'reconstructive' approaches and Gibsonian or 'purposive-animate-behaviorist' approaches need not be seen as mutually exclusive, but rather as complementary in their emphases on different aspects of visual function. (shrink)